翻訳と辞書 Words near each other ・ Leslie Knighton ・ Leslie Knope ・ Leslie Kong ・ Leslie Korkie ・ Leslie Kovacs ・ Leslie Krichko ・ Leslie Kritzer ・ Leslie Kurke ・ Leslie Kwok ・ Leslie L. Byrne ・ Leslie L. R. Hausburg ・ Leslie L. Vadász ・ Leslie Labowitz-Starus ・ Leslie Laing ・ Leslie Laing (sport shooter) ・ Leslie Lamport ・ Leslie Landon ・ Leslie Lang ・ Leslie Law ・ Leslie Lawrance Foldy ・ Leslie Lawrenson ・ Leslie Lazarus ・ Leslie Lea ・ Leslie Lee ・ Leslie Lee (playwright) ・ Leslie Lemke ・ Leslie Lett ・ Leslie Lever, Baron Lever ・ Leslie Lewis ・ Leslie Lewis (marathon runner) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Leslie Lamport ： ウィキペディア英語版 Leslie Lamport Leslie B. Lamport (born February 7, 1941) is an American computer scientist. Lamport is best known for his seminal work in distributed systems and as the initial developer of the document preparation system LaTeX. Leslie Lamport was the winner of the 2013 Turing Award for imposing clear, well-defined coherence on the seemingly chaotic behavior of distributed computing systems, in which several autonomous computers communicate with each other by passing messages. He devised important algorithms and developed formal modeling and verification protocols that improve the quality of real distributed systems. These contributions have resulted in improved correctness, performance, and reliability of computer systems. ==Early life and education== A graduate of the Bronx High School of Science, he received a B.S. in mathematics from the Massachusetts Institute of Technology in 1960, and M.A. and Ph.D. degrees in mathematics from Brandeis University, respectively in 1963 and 1972. His dissertation was about singularities in analytic partial differential equations. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Leslie Lamport」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.